DEF=imp
EXT=imp
KOMPILE_FLAGS=--gen-glr-bison-parser

include ../../../../../../include/kframework/ktest.mak
